Tipo | Título | Autor | Edición | Disponibilidad | Valoración |
---|---|---|---|---|---|
Libro |
Hyperproof | Barwise, Jon |
(c1994) |
Domicilio
|
---------- |
Libro |
The language of first-order logic: including the IBM-compatible Windows version of Tarski's World 4.0 | Barwise, Jon |
3rd ed. rev. and expanded
(c1992) |
---------- | |
Libro |
The language of first-order logic: Including the IBM-compatible Windows version of Tarski's World 4.0 | Barwise, Jon |
3rd ed. rev. and expanded
(1992) |
Domicilio
|
---------- |